The glossary is being gradually proof checked, but currently has many typos and misspellings.
Deductive learning uses deductive reasoning to add new explicit knowledge to a knowledge base. This can be useful of the reasoning path is complex as it allows rapid reuse.